| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
16/07/1996 |
|
Data da última atualização: |
17/08/2007 |
|
Autoria: |
BARROSO, G. C.; LIMA, A. M. N.; PERKUSICH, A. |
|
Título: |
Analise de seguranca baseada em controle supervisorio e redes de Petri. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 6.; CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais ... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
|
Páginas: |
p.451-470. |
|
Idioma: |
Português |
|
Conteúdo: |
A necessidade de dispor de uma abordagem sistematica para a analise de seguranca de sistemas controlados por computador, aponta para a direcao da aplicacao de tecnicas formais. Esse artigo investiga uma nova abordagem para a analise de seguranca em sistemas a eventos discretos, utilizando uma metodologia formal baseada em uma extensao de redes de Petri, denominada Redes de Petri com Funcoes de Habilitacao de Transicoes, e na Teoria de Controle Supervisorio. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01033naa a2200157 a 4500
001 1002938
005 2007-08-17
008 1995 bl uuuu u00u1 u #d
100 1 $aBARROSO, G. C.
245 $aAnalise de seguranca baseada em controle supervisorio e redes de Petri.
260 $c1995
300 $ap.451-470.
520 $aA necessidade de dispor de uma abordagem sistematica para a analise de seguranca de sistemas controlados por computador, aponta para a direcao da aplicacao de tecnicas formais. Esse artigo investiga uma nova abordagem para a analise de seguranca em sistemas a eventos discretos, utilizando uma metodologia formal baseada em uma extensao de redes de Petri, denominada Redes de Petri com Funcoes de Habilitacao de Transicoes, e na Teoria de Controle Supervisorio.
700 1 $aLIMA, A. M. N.
700 1 $aPERKUSICH, A.
773 $tIn: SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 6.; CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais ... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 1 | |
| 1. |  | AMARAL, F. P. do; AGOUD, L.; SCHAFHAUSER JUNIOR, J.; AZAMBUJA, A.; SILVA, J. L. S. da. Desempenho de novilhas jersey em pastagens anuais de inverno e verão sob sistema de pastejo contínuo. In: CONGRESSO DE INICIAÇÃO CIENTÍFICA, 22.; ENCONTRO DE PÓS-GRADUAÇÃO, 15., 2013, Pelotas. [Anais.]. Pelotas: UFPel, 2013.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Clima Temperado. |
|    |
| Registros recuperados : 1 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
